Merge branch 'overlay-scrolling-setting' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 31 May 2019 15:32:49 +0000 (15:32 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 31 May 2019 15:32:49 +0000 (15:32 +0000)
commit173ffbb5474eab1e878330d494b690d15049d744
tree85fc4387da485f918b321fa5655adebf7ce8b1c0
parent8145872e276fb29007e1fc2f5977dcae671ff372
parent97e15b87184dd0bd2a6a96c273b7260b3ee39ce0
Merge branch 'overlay-scrolling-setting' into 'master'

Overlay scrolling setting

See merge request GNOME/gtk!873